#include "stdio.h"

int main(int argc, char const *argv[])
{

    // setbuf(stdout, NULL);
    for (int i = 0; i < 10; i++)
    {
        printf("this is %d out\n", i);
    }
    while (1)
    {
    }

    return 0;
}
